·2,447,543篇论文数据，部分数据来源于NoteExpress
This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.
本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。
youdao
应用推荐
模块上移
模块下移
不移动